Information and Computation - PDFSEARCH.IO - Document Search Engine

Information and Computation
Results: 338

#	Item
331	Information and Computation 163, [removed]doi:[removed]Âinco[removed], available online at http:ÂÂwww.idealibrary.com on Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2006-02-19 18:16:34 Logic in computer science Lambda calculus Type theory Models of computation Programming language semantics Denotational semantics Simply typed lambda calculus Typed lambda calculus Combinatory logic Theoretical computer science Mathematics Mathematical logic
332	Topological quantum computation Sankar Das Sarma, Michael Freedman, and Chetan Nayak Add to Reading List Source URL: stationq.cnsi.ucsb.edu Language: English - Date: 2006-10-16 17:38:04 Quantum information science Quantum field theory Models of computation Topological quantum computer Fractional quantum Hall effect Quasiparticle Quantum computer Anyon Sankar Das Sarma Physics Condensed matter physics Quantum phases
333	Some Techniques for Solving Recurrences GEORGE S. LUEKER Department of Information and Computer Scwnce, Unwers~ty of California, lrvine, California 92717 Add to Reading List Source URL: www.cs.virginia.edu Language: English - Date: 2009-09-02 15:33:25 Algebra Recurrence relation Theory of computation Binomial coefficient Method of undetermined coefficients Four-square cipher Mathematics Mathematical analysis Ordinary differential equations
334	Phase Estimation In this lecture we will describe Kitaev’s phase estimation algorithm, and use it to obtain an alternate derivation of a quantum factoring algorithm. We will also use this technique to design quantum circuits for computing the Quantum Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2009-04-21 15:51:01 Mathematics Quantum mechanics Quantum algorithms Models of computation Mathematical physics Quantum circuit Quantum gate Density matrix Quantum Fourier transform Physics Quantum information science Theoretical computer science
335	Judgment and Decision Making, Vol. 5, No. 5, August 2010, pp. XX–XX Running experiments on Amazon Mechanical Turk Add to Reading List Source URL: www.sjdm.org Language: English - Date: 2010-08-26 18:00:55 Science Crowdsourcing Web 2.0 Social information processing Web services Amazon Mechanical Turk Turk Psychology Amazon.com Information Human-based computation Collective intelligence
336	Journal of Logic and Computation Advance Access published October 26, 2009 Relevance Realization and the Emerging Add to Reading List Source URL: www.ipsi.utoronto.ca Language: English - Date: 2012-02-07 09:29:54 Cognition Interdisciplinary fields Behavioural sciences Pragmatics Information science Relevance Cognitive science Cognitive psychology Scientific theory Science Knowledge Ethology
337	Representing Information with Computational Resource Bounds Daby Sow and Alexandros Eleftheriadis Department of Electrical Engineering Add to Reading List Source URL: www.ee.columbia.edu Language: English - Date: 2004-06-12 00:15:55 Mathematics Computational complexity theory Kolmogorov complexity Information theory Complexity Computability Theory of computation Markov chain Church–Turing thesis Theoretical computer science Computability theory Applied mathematics
338	PDF Document Add to Reading List Source URL: www.dcs.warwick.ac.uk Language: English - Date: 2013-04-24 17:17:52 International Colloquium on Automata Languages and Programming Workshop on Logic Language Information and Computation Symposium on Theoretical Aspects of Computer Science Bill Roscoe Model checking Theoretical computer science Computer science Automata theory

UPDATE